Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

Source URL: schematics.sourceforge.net

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• CurryHoward correspondence
• Dependently typed programming
• Logic in computer science
• Philosophy of computer science
• Type theory
• Symbol
• Sequent
• Confidence interval

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Source URL: www.cse.chalmers.se

AGAINST EMPATHY Running Head: AGAINST EMPATHY Article Type: Scientific Contribution Against Empathy: Critical Theory and the Social Brain

Source URL: janslaby.com

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system

Andreas Abel University of Munich Verifying a Semantic beta-eta-Conversion Test for Martin-L¨of Type Theory Abstract Type-checking algorithms for dependent type theories often rely on the interpretation of terms in some

Source URL: sneezy.cs.nott.ac.uk

PDF Document

Source URL: mp.binaervarianz.de

• Software engineering
• Type theory
• Computer programming
• Statistics
• Subroutines
• Quantitative marketing research
• Statistical inference
• Parameter
• Variable
• Type system
• Application programming interface
• Confidence interval

PDF Document

Source URL: homes.soic.indiana.edu

• Type theory
• Functional languages
• Type systems
• Procedural programming languages
• Lambda calculus
• Type inference
• Monad
• ML
• HindleyMilner type system
• Functional programming
• Parallel computing
• Unification

Chapter 1 A computational interpretation of forcing in Type Theory Thierry Coquand and Guilhem Jaber

Source URL: guilhem.jaber.fr

Vandevoorde/Josuttis: C++ Templates October 6, 2002 page v Contents Preface

Source URL: www.josuttis.com

• C++
• Subroutines
• Generic programming
• Type theory
• Template
• Barton–Nackman trick
• Function object
• Constructor
• Function overloading
• Software engineering
• Computing
• Computer programming

PHYSICAL REVIEW D 80, Dark matter in minimal supergravity with type-II seesaw mechanism J. N. Esteves,* S. Kaneko,† and J. C. Romao‡ Departamento de Fı´sica and CFTP, Instituto Superior Te´cnico, Av

Source URL: porthos.tecnico.ulisboa.pt

• Standard Model
• Supersymmetry
• Neutrinos
• Seesaw mechanism
• Minimal Supersymmetric Standard Model
• Higgs boson
• Sterile neutrino
• R-parity
• Top quark
• Physics
• Particle physics
• Electroweak theory